docs: update FLASK cmd line instructions
authorDoug Goldstein <cardoe@cardoe.com>
Mon, 25 Apr 2016 16:15:48 +0000 (17:15 +0100)
committerWei Liu <wei.liu2@citrix.com>
Mon, 25 Apr 2016 16:15:48 +0000 (17:15 +0100)
commitd4cd5a205973171475b8c63bc250c2803e0f51fa
treee545b7411bd364476b0fbdcba84a877e80c4f44c
parent695ed1bcd0305ef7d54604399f3491786b9bb903
docs: update FLASK cmd line instructions

The command line instructions for FLASK include a note on how to compile
Xen with FLASK but the note was out of date after the change to Kconfig.

Signed-off-by: Doug Goldstein <cardoe@cardoe.com>
Reviewed-by: Konrad Rzeszutek Wilk <konrad.wilk@oracle.com>
Acked-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
Release-acked-by: Wei Liu <wei.liu2@citrix.com>
docs/misc/xen-command-line.markdown